x86 hpet: two more fixes for c/s 19419
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 1 Apr 2009 13:04:46 +0000 (14:04 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 1 Apr 2009 13:04:46 +0000 (14:04 +0100)
commit885b76a5fbdedcebc15b52aaa9711c9da8fd8026
tree8839568a128b06a2b5cbf0465f9b9f7916376d88
parenta21645e1dff35eaec69f2eb9c61adeafbb16c971
x86 hpet: two more fixes for c/s 19419

vector_channel[], as its name already says, is vector-, not
irq-indexed.

hpet_assign_irq() sits not only in the boot path, but also in the
resume one. Short of knowing why this is, simply checking whether a
vector was already assigned prevents leaking previously assigned ones.

Signed-off-by: Jan Beulich <jbeulich@novell.com>
xen/arch/x86/hpet.c